Analytica priora I, $38$ and reduplication.

I-38: Uterine Abnormally and Infertility

Congenital anomalies of the Müllerian ducts especially uterine abnormalities can affect negatively the different stages of fertility interfering with sperm migration, embryo implantation, normal placentation, fetal growth and achievement of a successful pregnancy. They are present in 2-10% of all women, three times greater in patients with recurrent pregnancy loss and lead to infertility and ad...

System Description: Analytica 2

The Analytica system is a theorem proving system for 19 century mathematics written on top of the Mathematica computer algebra system. It was developed in the early 1990’s by X. Zhao and E. Clarke and has since been dormant. We describe recent work to resurrect the theorem prover and port it to newer versions of Mathematica. The new system Analytica 2 can still prove the same theorems, but has ...

Distributed Reduplication

I-38: Search for Genetic Causes of Male Infertility

Background: We are convinced that better infertility treatment will only be achieved with a better under understanding of the molecular mechanisms specific to each patient. To that effect we want to indentify genes involved in male infertility. Materials and Methods: We screened cohorts of infertile men to identify the cause of their infertility. Results: Our team has identified and caracterize...

I-38: Chromosome Instability in The Cleavage Stage Embryo

Recently, we demonstrated chromosome instability (CIN) in human cleavage stage embryogenesis following in vitro fertilization (IVF). CIN not necessarily undermines normal human development (i.e. when remaining normal diploid blastomeres develop the embryo proper), however it can spark a spectrum of conditions, including loss of conception, genetic disease and genetic variation development. To s...